#!/usr/bin/php -q
<?php
require_once('shell_dispatcher.php');
if (!defined('DISABLE_AUTO_DISPATCH')) {
	$dispatcher = new ShellDispatcher($argv);
}
?>